Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
211	Rodin in the field of railway system engineering Tomas Fischer Thales Austria GmbH, Handelskai 92, 1200 Vienna, Austria, Abstract. Railway signaling systems are required to provide the high Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:40:08 Formal methods Standards Systems engineering Software quality European Committee for Electrotechnical Standardization Specification Verification Standardization Reliability engineering SIGNAL Formal specification Rodin tool
212	21907501905Lead Developer B1/SEO Closes £44,056, with the possibility of an RRA of £5,000 Add to Reading List Source URL: www.ukho.gov.uk Language: English - Date: 2016-07-26 05:02:51 Human resource management Software development process Formal methods Agile software development Software project management Competence Test automation Software quality Geographic information system Continuous integration Software development
213	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Hardware description languages Synchronous programming languages Model checkers Formal methods Timed automaton Esterel Model checking Uppaal Model Checker SIGNAL
214	NXP PowerPoint template Guidelines for presentations Add to Reading List Source URL: www.yourcreativesolutions.nl Language: English - Date: 2011-09-09 16:28:00 Model checkers Theoretical computer science Crime prevention Cryptography National security Model checking NuSMV Formal methods Common Criteria Temporal logic Computer security Authentication
215	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.org Language: English - Date: 2016-07-29 01:16:07 Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar Automated proof checking Quantifier
216	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
217	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D2 Definitions of Case Studies and Evaluation Criteria for Case Studies Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-05-25 11:16:22 Mobile telecommunications LTE Mobile technology Telecommunications Formal methods Rodin tool 3GPP Systems engineering UMTS Formal specification
218	Lai, Albert Yu Cheong Curriculum Vitae (address and phone omitted in public) email: trebla [at] vex [dot] net Born in 1969 Citizenship: Canadian Add to Reading List Source URL: www.vex.net Language: English - Date: 2014-07-22 17:29:12 Formal methods University of Toronto Theoretical computer science Eric Hehner Program derivation Predicative programming Refinement Formal verification Department of Computer Science
219	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
220	Applications of a Global Workspace Framework to Mathematical Discovery John Charnley and Simon Colton Combined Reasoning Group, Department of Computing Imperial College, United Kingdom Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-08-18 04:53:21 Statements Non-associative algebra Formal methods Group theory Quasigroup Conjecture Mathematical proof Theorem Automated theorem proving Prime number Theory Concept learning

UPDATE